\section{/home/jeanlouis/Faculte/Master SIS/S2/Intelligence Artificielle/dpcsolver/dpc.h File Reference}
\label{dpc_8h}\index{/home/jeanlouis/Faculte/Master SIS/S2/Intelligence Artificielle/dpcsolver/dpc.h@{/home/jeanlouis/Faculte/Master SIS/S2/Intelligence Artificielle/dpcsolver/dpc.h}}
{\tt \#include \char`\"{}structure.h\char`\"{}}\par


Include dependency graph for dpc.h:\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=282pt]{dpc_8h__incl}
\end{center}
\end{figure}


This graph shows which files directly or indirectly include this file:\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=420pt]{dpc_8h__dep__incl}
\end{center}
\end{figure}
\subsection*{Functions}
\begin{CompactItemize}
\item 
int {\bf heuristique\-Litteral} ({\bf Formule} $\ast$F)
\item 
int {\bf est\-Termine} ({\bf Formule} $\ast$F)
\item 
void {\bf libere\-Variable} ({\bf Formule} $\ast$F, int litteral)
\item 
int {\bf affecte\-Litteral} ({\bf Formule} $\ast$F, int litteral, int valeur)
\item 
int {\bf affecte\-Mono\-Litteraux} ({\bf Formule} $\ast$F, int $\ast$litteral)
\item 
int {\bf affecte\-Litteraux\-Purs} ({\bf Formule} $\ast$F, int $\ast$litteral)
\item 
int {\bf dpc} ({\bf Formule} $\ast$F)
\item 
int {\bf dpc\-Iteratif} ({\bf Formule} $\ast$F)
\end{CompactItemize}


\subsection{Function Documentation}
\index{dpc.h@{dpc.h}!affecteLitteral@{affecteLitteral}}
\index{affecteLitteral@{affecteLitteral}!dpc.h@{dpc.h}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}int affecte\-Litteral ({\bf Formule} $\ast$ {\em F}, int {\em litteral}, int {\em valeur})}\label{dpc_8h_9c62a4d9f4cc69d7a4de529abf37a428}


Objectif : Affecter la valeur {\em valeur\/} au litteral litteral$<$/l$>$ dans la formule {\em F\/} \begin{Desc}
\item[Parameters:]
\begin{description}
\item[{\em $\ast$F}]\doxyref{Formule}{p.}{structFormule} etudiee \item[{\em $\ast$litteral}]litteral affecte \item[{\em valeur}]nouvelle valeur de l \end{description}
\end{Desc}
\begin{Desc}
\item[Returns:]VRAI on peut affecter un litteral INCONSISTANT modele inconsistant \end{Desc}


Definition at line 144 of file dpc.c.

References \_\-Liste\-Clause::affectee, Clause::card, \_\-Liste\-Clause::clause, Formule::clauses, CONSISTANT, Clause::etat, Liste\-Litteraux::etat, INCONNU, Liste\-Litteraux::litteraux, Formule::litteraux, Formule::nb\-Clauses, \_\-Liste\-Clause::signe, Formule::taille, Clause::taille, and VRAI.

Referenced by affecte\-Mono\-Litteraux(), dpc(), and dpc\-Iteratif().\index{dpc.h@{dpc.h}!affecteLitterauxPurs@{affecteLitterauxPurs}}
\index{affecteLitterauxPurs@{affecteLitterauxPurs}!dpc.h@{dpc.h}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}int affecte\-Litteraux\-Purs ({\bf Formule} $\ast$ {\em F}, int $\ast$ {\em litteral})}\label{dpc_8h_59267e30d2e1b8862f5bb02d623847fa}


Objectif : Recherche un litteral pur et tente une affectation \begin{Desc}
\item[Parameters:]
\begin{description}
\item[{\em $\ast$F}]La formule etudiee \item[{\em $\ast$litteral}]Litteral affecte \end{description}
\end{Desc}
\begin{Desc}
\item[Returns:]VRAI si un litteral est trouve et une affectation possible. FAUX si aucun litteral pur n'existe. INCONSISTANT si un litteral est trouve mais pas une affectation. \end{Desc}


Definition at line 303 of file dpc.c.

References \_\-Liste\-Clause::clause, Clause::etat, Liste\-Litteraux::etat, INCONNU, Liste\-Litteraux::litteraux, Formule::litteraux, Formule::nb\-Litteraux, \_\-Liste\-Clause::signe, \_\-Liste\-Clause::suivant, and Liste\-Litteraux::taille.

Referenced by dpc(), and dpc\-Iteratif().\index{dpc.h@{dpc.h}!affecteMonoLitteraux@{affecteMonoLitteraux}}
\index{affecteMonoLitteraux@{affecteMonoLitteraux}!dpc.h@{dpc.h}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}int affecte\-Mono\-Litteraux ({\bf Formule} $\ast$ {\em F}, int $\ast$ {\em litteral})}\label{dpc_8h_f9b73017f0ff02d7148b72e83eadc969}


Objectif : Recherche et affecte la premiere clause mono-litterale rencontree. \begin{Desc}
\item[Parameters:]
\begin{description}
\item[{\em $\ast$F}]la formule etudiee \item[{\em $\ast$litteral}]Litteral \end{description}
\end{Desc}
\begin{Desc}
\item[Returns:]VRAI on peut affecter un mono-litteral FAUX aucun mono-litteral INCONSISTANT un mono-litteral existe, mais modele inconsistant \end{Desc}


Definition at line 238 of file dpc.c.

References affecte\-Litteral(), ajouter\-Fils(), Clause::card, Formule::clauses, Liste\-Litteraux::etat, FAUX, INCONNU, INCONSISTANT, libere\-Variable(), Formule::litteraux, MONO, Formule::nb\-Clauses, Clause::taille, Clause::tete, \_\-Litteral::variable, and VRAI.

Referenced by dpc(), and dpc\-Iteratif().

Here is the call graph for this function:\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=147pt]{dpc_8h_f9b73017f0ff02d7148b72e83eadc969_cgraph}
\end{center}
\end{figure}
\index{dpc.h@{dpc.h}!dpc@{dpc}}
\index{dpc@{dpc}!dpc.h@{dpc.h}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}int dpc ({\bf Formule} $\ast$ {\em F})}\label{dpc_8h_4160f44f8c468d38e68e8e45a6e7bc32}


Objectif : tester si la formule {\em F{\em  est consistante {\em dpc\-Recursif\/} \begin{Desc}
\item[Parameters:]
\begin{description}
\item[{\em $\ast$F}]\doxyref{Formule}{p.}{structFormule} a tester \end{description}
\end{Desc}
\begin{Desc}
\item[Returns:]CONSISTANT si la formule est satisfiable INCONSISTANT sinon \end{Desc}
\/}\/}

Definition at line 369 of file dpc.c.

References affecte\-Litteral(), affecte\-Litteraux\-Purs(), affecte\-Mono\-Litteraux(), ajouter\-Fils(), CHOIX, CONSISTANT, dpc(), est\-Termine(), FAUX, heuristique\-Litteral(), INCONSISTANT, libere\-Variable(), and VRAI.

Referenced by dpc(), and main().

Here is the call graph for this function:\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=219pt]{dpc_8h_4160f44f8c468d38e68e8e45a6e7bc32_cgraph}
\end{center}
\end{figure}
\index{dpc.h@{dpc.h}!dpcIteratif@{dpcIteratif}}
\index{dpcIteratif@{dpcIteratif}!dpc.h@{dpc.h}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}int dpc\-Iteratif ({\bf Formule} $\ast$ {\em F})}\label{dpc_8h_244007c03239591567cfd9f14ecd9d6a}


Objectif : tester si la formule {\em F{\em  est consistante {\em dpc\-Iteratif\/} \begin{Desc}
\item[Parameters:]
\begin{description}
\item[{\em $\ast$F}]\doxyref{Formule}{p.}{structFormule} a tester \end{description}
\end{Desc}
\begin{Desc}
\item[Returns:]CONSISTANT si la formule est satisfiable INCONSISTANT sinon \end{Desc}
\/}\/}

Definition at line 505 of file dpc.c.

References affecte\-Litteral(), affecte\-Litteraux\-Purs(), affecte\-Mono\-Litteraux(), ajouter\-Fils(), \_\-Historique::branchement, CHOIX, CONSISTANT, Consistant(), est\-Termine(), FAUX, heuristique\-Litteral(), INCONSISTANT, libere\-Variable(), NON, PREMIER, SECOND, \_\-Historique::suivant, \_\-Historique::variable, and VRAI.

Referenced by main().

Here is the call graph for this function:\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=200pt]{dpc_8h_244007c03239591567cfd9f14ecd9d6a_cgraph}
\end{center}
\end{figure}
\index{dpc.h@{dpc.h}!estTermine@{estTermine}}
\index{estTermine@{estTermine}!dpc.h@{dpc.h}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}int est\-Termine ({\bf Formule} $\ast$ {\em F})}\label{dpc_8h_42576209c9605c0f8c752d3436d94207}


Objectif : verifier si on fini de travailler sur la formule {\em F\/} \begin{Desc}
\item[Parameters:]
\begin{description}
\item[{\em $\ast$F}]\doxyref{Formule}{p.}{structFormule} considerre \end{description}
\end{Desc}
\begin{Desc}
\item[Returns:]VRAI si termine, FAUX sinon. \end{Desc}


Definition at line 56 of file dpc.c.

References FAUX, Formule::taille, and VRAI.

Referenced by dpc(), and dpc\-Iteratif().\index{dpc.h@{dpc.h}!heuristiqueLitteral@{heuristiqueLitteral}}
\index{heuristiqueLitteral@{heuristiqueLitteral}!dpc.h@{dpc.h}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}int heuristique\-Litteral ({\bf Formule} $\ast$ {\em F})}\label{dpc_8h_b0a14f94070abc01fe0c8e306f3cf1ae}


Objectif : Choisir un litteral dans le cas d'un branchement \begin{Desc}
\item[Parameters:]
\begin{description}
\item[{\em $\ast$F}]Notre \doxyref{Formule}{p.}{structFormule} \end{description}
\end{Desc}
\begin{Desc}
\item[Returns:]Le Litteral Choisi \end{Desc}


Definition at line 32 of file dpc.c.

References Liste\-Litteraux::etat, INCONNU, Formule::litteraux, Formule::nb\-Litteraux, and Liste\-Litteraux::taille.

Referenced by dpc(), and dpc\-Iteratif().\index{dpc.h@{dpc.h}!libereVariable@{libereVariable}}
\index{libereVariable@{libereVariable}!dpc.h@{dpc.h}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}void libere\-Variable ({\bf Formule} $\ast$ {\em F}, int {\em variable})}\label{dpc_8h_53fdcfe35ee77cc09b50ce00c8b391b6}


Objectif : remonter dans l'arborescence, en effancant l'affectation de la variable {\em variable\/} dans la formule {\em F\/} \begin{Desc}
\item[Parameters:]
\begin{description}
\item[{\em $\ast$F}]\doxyref{Formule}{p.}{structFormule} etudiee \item[{\em variable}]Vaiable Liberee \end{description}
\end{Desc}


Definition at line 69 of file dpc.c.

References \_\-Liste\-Clause::affectee, Clause::card, \_\-Liste\-Clause::clause, Clause::etat, Liste\-Litteraux::etat, FAUX, INCONNU, Liste\-Litteraux::litteraux, Formule::litteraux, \_\-Liste\-Clause::signe, \_\-Liste\-Clause::suivant, Formule::taille, Clause::taille, and VRAI.

Referenced by affecte\-Mono\-Litteraux(), dpc(), and dpc\-Iteratif().